let us suppose (that